int t(int *tt);